61. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
62. Formal semantics
Author: / Ronnie Cann
Library: Library of the Faculty of Foreign Languages and Literature (Tehran)
Subject: Semantics,Semantics (Philosophy)
Classification :
P
325
.
C28
1994
63. Formal semantics of Programming languages
Author: Courant Computer Science Symposium, 2d, New York, 0791
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
C68
1970
64. Formal semantics of natural language :
Author: edited by Edward L. Keenan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Language and languages, Congresses.,Semantics, Congresses.
Classification :
P325
.
C27
1973
65. Formal semantics of natural language; Papers from a Colloquium Sponsored by the Kings College Research Centere
Author: Cambridge Colloquim of Formal Semantics of Natural Language
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Semantics,Congresses ، Language and languages
Classification :
P
325
.
C27
1973
66. Formal semantics of natural language; Papers from a colloquium sponsored by the King's college research centre, cambridge
Author: Edited by Edward L. Keennan
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Semantics--Congresses.,Language and languages-- Congresses
67. Formal semantics of natural language :papers from a colloquium sponsored by the King's College Research Centre, Cambridge /edited by Edward L. Keenan.
Author:
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Semantics--Congresses.,Language and languages--Congresses.
Classification :
P325
.
C27
1973
68. Formal semantics of natural language : papers from a colloquium sponsored by the King's College Research Centre, Cambridge
Author: edited by Edward L. Keenan
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Semantics,Congresses ، Language and languages
Classification :
P
325
.
C27
1975
69. Formal semantics of natural language : papers from a colloquium sponsored by the King's College Research Centre, Cambridge
Author: / edited by Edward L. Keenan
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Semantics - Congresses,Language and languages - Congresses
Classification :
P325
.
C27
1973
70. Formal semantics of natural language: papers from a colloquium sponsored by the king's Collge Research Centre, Cambridge
Author: / edited by Edward L. Keenan
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Semantics - Congresses,Language and languages - Congresses
Classification :
P325
.
C27
1973
71. Formal syntax and semantics of Java
Author: Jim Alves-Foss )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
1523
72. Formal syntax and semantics of Java
Author: / Jim Alves-Foss (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Java (Computer program language),Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
73
,.
J38
,
F67
,
1999
73. Formal syntax and semantics of Java
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
74. Formal syntax and semantics of programming languages :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Syntax. ;
75. Formal syntax and semantics of programming languages
Author: / Kenneth Slonneger, Barry L. Kurtz
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
S59
,
1995
76. Formal syntax and semantics of programming languages : a laboratory based approach
Author: Slonneger, Kenneth.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
7
.
S59
1995
77. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
78. Functional Programming, Glasgow 1992 :
Author: edited by John Launchbury, Patrick Sansom.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
79. Fundamentals of Algebraic Specification 2 :
Author: by Hartmut Ehrig, Bernd Mahr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
L63
B943
1990
80. Fundamentals of Information Systems
Author: edited by Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science).,Information storage and retrieval systems.,Management information systems.
